Effectively Equivalent

Explorer Effectively

Effectively View - Navigable Structures

Certain fundamental properties are necessary for informations structure to be effectively view-navigable as they get larger. View-navigation here means the familiar method of moving from one locally visible part of the information structure to another until a target is found. Fundamental properties needed include: views of the structure must be small, connecting paths must not be too long, and ...

Effectively Monadic Predicates

Monadic predicates play a prominent role in many decidable cases, including decision procedures for symbolic automata. We are here interested in discovering whether a formula can be rewritten into a Boolean combination of monadic predicates. Our setting is quantifier-free formulas over a decidable background theory, such as arithmetic and we here develop a semi-decision procedure for extracting...

Effectively Categorical Abelian Groups

We study effective categoricity of computable abelian groups of the form ⊕ i∈ω H, where H is a subgroup of (Q,+). Such groups are called homogeneous completely decomposable. It is well-known that a homogeneous completely decomposable group is computably categorical if and only if its rank is finite. We study ∆n-categoricity in this class of groups, for n > 1. We introduce a new algebraic concep...

Effectively Grouping Trajectory Streams

Trajectory data streams are huge amounts of data pertaining to time and position of moving objects. They are continuously generated by different sources exploiting a wide variety of technologies (e.g., RFID tags, GPS, GSM networks). Mining such amount of data is a challenging problem, since the possibility to extract useful information from this peculiar kind of data is crucial in many applicat...